Representable posets

Equivariant Representable K-theory

We interpret certain equivariant Kasparov groups as equivariant representable K-theory groups. We compute these groups via a classifying space and as K-theory groups of suitable σ-C-algebras. We also relate equivariant vector bundles to these σ-C-algebras and provide sufficient conditions for equivariant vector bundles to generate representable K-theory. Mostly we work in the generality of loca...

Homology of representable sets∗

We generalize the notion of cubical homology to the class of locally compact representable sets in order to propose a new convenient method of reducing the complexity of a set while computing its homology.

Representable Disjoint NP-Pairs

Representable Lexicographic Products

A linear ordering is said to be representable if it can be order-embedded into the reals. Representable linear orderings have been characterized as those which are separable in the order topology and have at most countably many jumps. We use this characterization to study the representability of a lexicographic product of linear orderings. First we count the jumps in a lexicographic product in ...

Maximal Representable Subfamilies

A family F = (F(i) \iel) is a function from an index set / into the set of all non-empty subsets of a set. A subset G e F is called a subfamily of F and a function / f rom / into u (F(/) \iel} such that / ( t ) e F(i) is called a choice function. Let F be a function. Dmn F denotes the domain of F and rng F denotes the range of JF. If F is a function and J £ dmn F, then F \ J will denote the res...